universally quantified riable

全稱量詞化變元